package dpll.ast;

import dpll.fnc.IVisitor;

public class NodoTerminoFinal extends ASTNode {

	private IASTNode termino;

	public NodoTerminoFinal(IASTNode termino) {
		this.termino = termino;
	}

	public IASTNode getTermino() {
		return termino;
	}

	@Override
	public <T> T accept(IVisitor<T> visitor) {
		return visitor.visitTerminoFinal(this);
	}

	@Override
	public String toString() {
		return "(TERMINO_FINAL "  + termino.toString() + ")";
	}
	
	
	
}
